Roos-Extension of Default Logic in Artificial Intelligence
نویسنده
چکیده
One important defect of Reiter’s default logic is inability to reason by cases. To overcome the defect definition of Reiter’s extension. Roos presents a modified definition of a default extension that solves the problem. In this paper, we will discuss the properties of Roos-extension that similar to Reiter-extension, and will find some properties of Reiter-extension cannot still correct to Roos-extension. We point out the difference of them, and Roos-extension offers a new idea for inference of artificial intelligent, it can achieve a method to classify the information.
منابع مشابه
Some Promstk~ of Knowledge Information Inferred by Two Inter+ive
I. INTRODUCTION A new concept of beliefs called interactiue uxrension which are derivable from two interconnected default reasoning rystems is proposed. and its properties are discussed. Default reasoning proposed by R. Reiter is suitable for incomplete knowledge reasoning in artificial intellJgence, logic programming and deductive database, because it can draw plausible conclusions from the in...
متن کاملAI – 1994 – 10 Nonmonotonic Consequence in Default Model Theory
Default model theory is a nonmonotonic formalism for representing and reasoning about commonsense knowledge. Although this theory is motivated by ideas in Reiter’s work on default logic, it is a very different, in some sense dual framework. We make Reiter’s default extension operator into a constructive method of building models, not theories. Domain theory, which is a well established tool for...
متن کاملOn resolving Conflicts between Arguments
Argument systems are based on the idea that one can construct arguments for propositions structured reasons justifying the belief in a proposition. Using defeasible rules, arguments need not be valid in all circumstances, therefore, it might be possible to construct an argument for a proposition as well as its negation. When arguments support conflicting propositions, one of the arguments must ...
متن کاملA Note on Epistemology and Logical Artificial Intelligence
Contemporary analytical epistemology and logical artificial intelligence are complementary disciplines. This is most apparent when considering the structure of what we call epistemic relations, among which inferential are of special concern. In this essay we discuss key correspondence results between semantics for logic programs and default logic. Our aim is to show that there now exist suffici...
متن کاملNon-monotonic Inference
Non-monotonic inference is inference that is defeasible: in contrast with deductive inference, the conclusions drawn may be withdrawn in the light of further information, even though all the original premises are retained. Much of our everyday reasoning is like this, and a non-monotonic approach has applications to a number of technical problems in artificial intelligence. Work on formalizing n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012